finitary rational language

有限有理语言